Veri cation of DAG Structures in Cooperative Belief Network Based Multi-agent Systems

Multiply sectioned Bayesian networks (MSBNs) provide a framework for proba-bilistic reasoning in a complex single user oriented system as well as in a cooperative multi-agent distributed interpretation system. During the construction or dynamic formation of a MSBN, automatic veriication of the acyclicity of the overall structure is desired. Well known algorithms for acyclicity test assume a centralized storage of the structure to be tested. We discuss why a centralized test is undesirable and propose a distributed algorithm that veriies the acyclicity through cooperation among sub-nets/agents. The algorithm does not require each agent to reveal its internal structure and thus supports construction of a MSBN from subnets built by diierent vendors.